add_simple_test(
  NAME 6-big_xor
  SOURCES big_xor.v
  BOARDS ${BOARDS}
  )

